Verwer, Sicco: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Improving active Mealy machine learning for protocol conformance testing

Aarts, Fides, Kuppens, Harco, Tretmans, Jan, Vaandrager, Frits, Verwer, Sicco

Journal:

Machine Learning

Year:

2014

Language:

english

File:

PDF, 2.21 MB

english, 2014

2

Efficiently identifying deterministic real-time automata from labeled data

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Journal:

Machine Learning

Year:

2012

Language:

english

File:

PDF, 1.56 MB

english, 2012

3

PAutomaC: a probabilistic automata and hidden Markov models learning competition

Verwer, Sicco, Eyraud, Rémi, Higuera, Colin

Journal:

Machine Learning

Year:

2014

Language:

english

File:

PDF, 1010 KB

english, 2014

4

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3

BRUYNOOGHE, MAURICE, BLOCKEEL, HENDRIK, BOGAERTS, BART, DE CAT, BROES, DE POOTER, STEF, JANSEN, JOACHIM, LABARRE, ANTHONY, RAMON, JAN, DENECKER, MARC, VERWER, SICCO

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 825 KB

english, 2014

5

[IEEE 2017 IEEE 42nd Conference on Local Computer Networks (LCN) - Singapore (2017.10.9-2017.10.12)] 2017 IEEE 42nd Conference on Local Computer Networks (LCN) - Reliable Machine Learning for Networking: Key Issues and Approaches

Hammerschmidt, Christian A., Garcia, Sebastian, Verwer, Sicco, State, Radu

Year:

2017

Language:

english

File:

PDF, 147 KB

english, 2017

6

[IEEE 2012 IEEE 12th International Conference on Data Mining Workshops - Brussels, Belgium (2012.12.10-2012.12.10)] 2012 IEEE 12th International Conference on Data Mining Workshops - Classifying Socially Sensitive Data Without Discrimination: An Analysis of a Crime Suspect Dataset

Kamiran, Faisal, Karim, Asim, Verwer, Sicco, Goudriaan, Heike

Year:

2012

Language:

english

File:

PDF, 298 KB

english, 2012

7

Auction optimization using regression trees and linear models as integer programs

Verwer, Sicco, Zhang, Yingqian, Ye, Qing Chuan

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 2.26 MB

english, 2015

8

Three naive Bayes approaches for discrimination-free classification

Toon Calders, Sicco Verwer

Journal:

Data Mining and Knowledge Discovery

Year:

2010

Language:

english

File:

PDF, 290 KB

english, 2010

9

The efficiency of identifying timed automata and the power of clocks

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 562 KB

english, 2011

10

Software model synthesis using satisfiability solvers

Heule, Marijn J. H., Verwer, Sicco

Journal:

Empirical Software Engineering

Year:

2013

Language:

english

File:

PDF, 1.43 MB

english, 2013

11

Merging Partially Labelled Trees: Hardness and a Declarative Programming Solution

Labarre, Anthony, Verwer, Sicco

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2014

Language:

english

File:

PDF, 1.27 MB

english, 2014

12

Regular inference as vertex coloring

Costa Florêncio, Christophe, Verwer, Sicco

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 642 KB

english, 2014

13

[ACM Press the 25th International Conference - Baltimore, Maryland (2013.07.29-2013.07.31)] Proceedings of the 25th International Conference on Scientific and Statistical Database Management - SSDBM - Sharing confidential data for algorithm development by multiple imputation

Verwer, Sicco, van den Braak, Susan, Choenni, Sunil

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

14

[IEEE 2016 IEEE 41st Conference on Local Computer Networks (LCN) - Dubai, United Arab Emirates (2016.11.7-2016.11.10)] 2016 IEEE 41st Conference on Local Computer Networks (LCN) - Efficient Learning of Communication Profiles from IP Flow Records

Hammerschmidt, Christian, Marchal, Samuel, State, Radu, Pellegrino, Gaetano, Verwer, Sicco

Year:

2016

Language:

english

File:

PDF, 309 KB

english, 2016

15

[IEEE 2016 12th International Conference on Network and Service Management (CNSM) - Montreal, QC, Canada (2016.10.31-2016.11.4)] 2016 12th International Conference on Network and Service Management (CNSM) - Behavioral clustering of non-stationary IP flow record data

Hammerschmidt, Christian, Marchal, Samuel, State, Radu, Verwer, Sicco

Year:

2016

Language:

english

File:

PDF, 313 KB

english, 2016

16

Improved privacy of dynamic group services

Veugen, Thijs, Doumen, Jeroen, Erkin, Zekeriya, Pellegrino, Gaetano, Verwer, Sicco, Weber, Jos

Journal:

EURASIP Journal on Information Security

Year:

2017

Language:

english

File:

PDF, 606 KB

english, 2017

17

[IEEE 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) - Lisbon, Portugal (2017.5.8-2017.5.12)] 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) - Learning behavioral fingerprints from Netflows using Timed Automata

Pellegrino, Gaetano, Lin, Qin, Hammerschmidt, Christian, Verwer, Sicco

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

18

Modeling and analysis of non-homogenous fabrication/assembly systems with multiple failure modes

Wang, Jun-Qiang, Yan, Fei-Yi, Cui, Peng-Hao, Xia, Tian, Cui, Fu-Dong, Verwer, Sicco

Journal:

The International Journal of Advanced Manufacturing Technology

Year:

2017

Language:

english

File:

PDF, 1.24 MB

english, 2017

19

Car-following Behavior Model Learning Using Timed Automata

Zhang, Yihuan, Lin, Qin, Wang, Jun, Verwer, Sicco

Journal:

IFAC-PapersOnLine

Year:

2017

Language:

english

File:

PDF, 415 KB

english, 2017

20

[IEEE 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Shanghai (2017.9.17-2017.9.22)] 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) - An Experience Report on Applying Passive Learning in a Large-Scale Payment Company

Wieman, Rick, Aniche, Mauricio Finavaro, Lobbezoo, Willem, Verwer, Sicco, Deursen, Arie van

Year:

2017

Language:

english

File:

PDF, 209 KB

english, 2017

21

[IEEE 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Shanghai (2017.9.17-2017.9.22)] 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) - flexfringe: A Passive Automaton Learning Package

Verwer, Sicco, Hammerschmidt, Christian A.

Year:

2017

Language:

english

File:

PDF, 259 KB

english, 2017

22

MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following Behaviors

Lin, Qin, Zhang, Yihuan, Verwer, Sicco, Wang, Jun

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2018

Language:

english

File:

PDF, 2.63 MB

english, 2018

23

Lane-change Intention Estimation for Car-following Control in Autonomous Driving

Zhang, Yihuan, Lin, Qin, Wang, Jun, Verwer, Sicco, Dolan, John M.

Journal:

IEEE Transactions on Intelligent Vehicles

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

24

[IEEE 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - London, United Kingdom (2018.4.23-2018.4.27)] 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Vulnerability Detection on Mobile Applications Using State Machine Inference

van der Lee, Wesley, Verwer, Sicco

Year:

2018

Language:

english

File:

PDF, 585 KB

english, 2018

25

[ACM Press the 2018 - Incheon, Republic of Korea (2018.06.04-2018.06.04)] Proceedings of the 2018 on Asia Conference on Computer and Communications Security - ASIACCS '18 - TABOR

Lin, Qin, Adepu, Sridha, Verwer, Sicco, Mathur, Aditya

Year:

2018

Language:

english

File:

PDF, 4.41 MB

english, 2018

26

[IEEE 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - Rio de Janeiro (2018.7.8-2018.7.13)] 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - Learning fuzzy decision trees using integer programming

Rhuggenaath, Jason, Zhang, Yingqian, Akcay, Alp, Kaymak, Uzay, Verwer, Sicco

Year:

2018

Language:

english

File:

PDF, 2.49 MB

english, 2018

27

Solving bin-packing problems under privacy preservation: Possibilities and trade-offs

Hoogervorst, Rowan, Zhang, Yingqian, Tillem, Gamze, Erkin, Zekeriya, Verwer, Sicco

Journal:

Information Sciences

Year:

2019

Language:

english

File:

PDF, 1.05 MB

english, 2019

28

Solving bin-packing problems under privacy preservation: Possibilities and trade-offs

Hoogervorst, Rowan, Zhang, Yingqian, Tillem, Gamze, Erkin, Zekeriya, Verwer, Sicco

Journal:

Information Sciences

Year:

2019

File:

PDF, 1.05 MB

2019

29

Learning Optimal Classification Trees Using a Binary Linear Program Formulation

Verwer, Sicco, Zhang, Yingqian

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

File:

PDF, 400 KB

2019

30

Black-box combinatorial optimization using models with integer-valued minima

Bliek, Laurens, Verwer, Sicco, de Weerdt, Mathijs

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2020

File:

PDF, 1.23 MB

2020